An Algebraic Specification of the Steam-Boiler Control System

نویسندگان

  • Michel Bidoit
  • Claude Chevenier
  • Christine Pellen
  • Jérôme Ryckbosch
چکیده

In Formal methods for industrial applications: specifying and programming the steam boiler control,

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Object-Oriented Algebraic Steam-Boiler Control Specification

Abstrac t . In this paper an object-oriented algebraic solution of the steam-boiler specification problem is presented. The solution is written in Timed Maude. Timed Maude is a specification language under development where the static parts of the specified system are described by equational specifications, whereas the behaviour of a process is described by timed term rewriting. Timed Maude is ...

متن کامل

Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS

The paper presents a specification of the steam boiler system in Time Extended LOTOS as an example to describe real-time, hybrid systems containing parts with discrete and continuous behavior in a time extended process-algebraic formalism. The specification has been developed in three design steps — the specification of functional behavior in LOTOS, the specification of timed behavior in TE-LOT...

متن کامل

Creating A Validated Implementation Of The Steam Boiler Control

SPIN is a tool for the simulation and veri cation of protocols. PROMELA, its source language, is a formal description technique like SDL and Estelle that is based on communicating state machines. The tool and the language are in the public domain and therefore widely used. The "SteamBoiler Control Speci cation Problem" consists of an informal speci cation of a steam boiler system in a nuclear p...

متن کامل

Mathematical Methods in Program Development. Springer-Verlag, 1996.

Relational transducers mapping sequences of input relations to sequences of output relations are proposed for high-level declarative specifications of business models. See [404] for a related class of ASM-transducers. Contains the problem description for the steam boiler control competition [7] and 22 proposed solutions obtained using the major known formal methods, with text and complete docum...

متن کامل

Structural and Behavioral Models of the Steam-Boiler Control System

This paper presents a system specification of the steam boiler control system described in [?]: To manage complexity and to foster separation of concerns the design model is divided into three views: The architectural view specified with object and class diagrams, the reactive view specified with statecharts, and the functional view specified with Z. A systematic relationship between the reacti...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995